Topologia klasowa

Topologia klasowa (ang. class topology) jest pojęciem z topologii opisującym strukturę topologiczną nad zbiorem klas abstrakcyjnych wyznaczonych określoną relacją równoważności. Najczęściej rozumie się nią topologię na zbiorze przestrzeni ilorazowej, czyli na zbiorze wszystkich klas abstrakcji, przy czym otwarte zbiory w tej topologii są dokładnie obrazy otwartych podzbiorów oryginalnej przestrzeni przy naturalnym odwzorowaniu kanonicznym.

Definicja

Niech X będzie przestrzenią topologiczną, a ∼ – relacją równoważności na X. Oznaczmy przez X/∼ zbiór klas równoważności i przez π : X → X/∼ naturalną projekcję, tzn. π(x) = [x] – klasa elementu x. Topologia klasowa na X/∼ jest zdefiniowana jako topologia ilorazowa względem π:

Podzbiór U ⊆ X/∼ jest otwarty wtedy i tylko wtedy, gdy π⁻¹(U) jest otwarty w X.

Ta definicja sprawia, że projekcja π jest ciągła i spełnia warunek uniwersalny: dla każdej ciągłej funkcji f : X → Y, stałej na klasach równoważności (x ∼ y ⇒ f(x)=f(y)), istnieje jedyne ciągłe ¯f : X/∼ → Y takie, że f = ¯f ∘ π.

Podstawowe własności

Homomorfizm otwartości i domkniętości – jeśli π jest otwarte (lub domknięte), to topologia klasowa jest dokładnie najgłębszą topologią, przy której π zachowuje tę własność.
Separatywność – topologia klasowa może utracić pewne własności separacyjne (np. regularność, normalność) w zależności od charakteru relacji ∼. Przestrzeń ilorazowa X/∼ jest T₀ wtedy i tylko wtedy, gdy klasy równoważności są zamknięte w X.
Zgodność z metrycznością – jeśli X jest przestrzenią metryczną oraz klasy ∼ są otwarte i jednocześnie zamknięte, to istnieje metryka indukująca topologię klasową na X/∼.
Stabilność przy produktach – przy relacji równoważności definiowanej komponentowo na produkcie X × Y topologia klasowa jest izomorficzna z produktem topologii klasowych na X i Y.

Przykłady

1. Topologia podziałowa (partition topology)

Jeśli ∼ jest dowolnym podziałem zbioru X (bez dodatkowych warunków), to otwarte zbiory w topologii klasowej to dowolne sumy klas. Tę topologię nazywa się topologią podziałową. Przykładem może być przestrzeń ℝ podzielona na klasy (n, n+1], n∈ℤ.

2. Przestrzeń ilorazowa grupy

Dla grupy G i podgrupy normalnej N ⊲ G relacja g₁ ∼ g₂ ⇔ g₁⁻¹g₂ ∈ N wyznacza klasy kosetów. Topologia klasowa na G/N (zwaną też topologią kosetową) jest szeroko stosowana w topologii algebraicznej.

3. Identyfikacja powierzchni

W konstrukcji powierzchni poprzez identyfikację brzegów kwadratu (np. torus, płaszczyzna Möbiusa), relacja równoważności łączy punkty brzegowe. Topologia klasowa na powstałej powierzchni jest topologią ilorazową identyfikacji.

Zastosowania

Geometria różniczkowa – w teorii płaszczyzn liściowych (foliacji) klasy abstrakcji są liśćmi, a ich topologia klasowa opisuje strukturę przestrzeni liści.
Teoria modeli – w logice i teorii modeli często rozważa się przestrzeń typów z topologią klasową, gdzie klasy abstrakcji to klasy ekwiwalencji elementów w modelu.
Analiza funkcjonalna – przy badaniu przestrzeni funkcyjnych z relacją równoważności określoną przez równość prawie wszędzie, topologia klasowa prowadzi do przestrzeni Lᵖ.
Systemy dynamiczne – w badaniu orbit i klas ekwiwalencji trajektorii stosuje się topologię klasową do analizy stabilności.

Powiązane pojęcia

Topologia ilorazowa – ogólna konstrukcja, z której topologia klasowa jest szczególnym przypadkiem.
Przestrzeń kolokacji – przykład przestrzeni, w której klasy abstrakcji są zbiorem punktów skupionych wokół ustalonej podprzestrzeni.
Równoważność topologiczna – pojęcie opisujące, kiedy dwie przestrzenie mają identyczną topologię klasową po odpowiedniej wyborze relacji.
Przestrzeń T₀ i przestrzeń T₁ – warunki separacyjne, które mogą być zachowane lub utracone w topologii klasowej.

Historia

Pierwsze formalne wystąpienia topologii klasowej pojawiły się w pracach Kuratowskiego i Alexandroffa na przełomie lat 20. i 30. XX wieku, w kontekście topologii ilorazowej i klasyfikacji przestrzeni przez ich podziały. Rozwój teorii grup topologicznych w latach 50. spowodował użycie pojęcia w kontekście topologii kosetowej. W drugiej połowie XX wieku topologia klasowa stała się narzędziem w logice i modelowaniu strukturalnym.

Bibliografia

K. Kuratowski, Topologia. I. Elementy ogólne, Państwowe Wydawnictwo Naukowe, 1939.
P. Alexandroff, Grundlagen der Topologie, Springer, 1935.
J. Kelley, General Topology, Springer, 1975.
A. S. Kechris, Classical Descriptive Set Theory, Springer, 1995 – rozdział poświęcony topologii ilorazowej.
H. D. C. Miller, Model Theory and Topology of Types, Cambridge University Press, 2002.